#include <stdint.h>

void BSP_Rand_Init(void);

uint8_t BSP_Rand_Get(uint8_t value);
